Nuprl Definition : csinput? 11,40
csinput?(x) == chain_sys_ind(x;cmd.tt;from,cmds.ff) 
latex

Definitionschain_sys_ind(x;cmd.input(cmd);from,cmds.update(from;cmds)), tt, ff
FDL editor aliasescsinput?

origin